Experimental study and model predictions on helium release in an enclosure with single or multiple vents

This paper presents experiments performed at Canadian Nuclear Laboratories (CNL) to examine the dispersion behaviour of helium in a polycarbonate enclosure that was representative of a residential parking garage. The purpose was to gain a better understanding of the effect of buoyancy- or wind-driven natural ventilation on hydrogen dispersion behaviour. Although hydrogen dispersion studies have been reported extensively in the literature, gaps still exist in predictive methods for hazard analysis. Helium, a simulant for hydrogen, was injected near the centre of the floor with a flow rate ranging from 5 to 75 standard litres per minute through an upward-facing nozzle, resulting in an injection Richardson number ranging between 10^?1 and 10². The location of the nozzle varied from the bottom of the enclosure to near the ceiling to examine the impact of the nozzle elevation on the development of a stratified layer in the upper region of the enclosure. When the injection nozzle was placed at a sufficiently low elevation, the vertical helium profile always consisted of a homogenous layer at the top overlaying a stratified layer at the bottom. To simulate outdoor environmental conditions, a fan was placed in front of each vent to examine the effect of opposing or assisting wind on the dispersion. The helium transients in the uniform layer predicted with analytical models were in good agreement with the measured transients for most tests. Model improvements are required for adequately predicting transients with primarily stratified profiles or strong opposing wind.     

Experimental investigation on the invert stability of operating railway tunnels with different drainage systems using 3D printing technology

In recent years, the invert anomalies of operating railway tunnels in water-rich areas occur frequently, which greatly affect the transportation capacity of the railway lines. Tunnel drainage system is a crucial factor to ensure the invert stability by regulating the external water pressure (EWP). By means of a three-dimensional (3D) printing model, this paper experimentally investigates the deformation behavior of the invert for the tunnels with the traditional drainage system (TDS) widely used in China and its optimized drainage system (ODS) with bottom drainage function. Six test groups with a total of 110 test conditions were designed to consider the design factors and environmental factors in engineering practice, including layout of the drainage system, blockage of the drainage system and groundwater level fluctuation. It was found that there are significant differences in the water discharge, EWP and invert stability for the tunnels with the two drainage systems. Even with a dense arrangement of the external blind tubes, TDS was still difficult to eliminate the excessive EWP below the invert, which is the main cause for the invert instability. Blockage of drainage system further increased the invert uplift and aggravated the track irregularity, especially when the blockage degree is more than 50%. However, ODS can prevent these invert anomalies by reasonably controlling the EWP at tunnel bottom. Even when the groundwater level reached 60 m and the blind tubes were fully blocked, the invert stability can still be maintained and the railway track experienced a settlement of only 1.8 mm. Meanwhile, the on-site monitoring under several rainstorms further showed that the average EWP of the invert was controlled within 84 kPa, while the maximum settlement of the track slab was only 0.92 mm, which also was in good agreement with the results of model test.     

Synthesis of Hollow Three-Dimensional Channels LiNi_(0.5)Mn_(1.5)O_4 Microsphere by PEO Soft Template Assisted with Solvothermal Method

A appropriate size with three-dimension(3 D) channels for lithium diffusion plays an important role in constructing highperforming LiNi_(0.5)Mn_(1.5)O_4(LNMO) cathode materials, as it can not only reduce the transport path of lithium ions and electrons, but also reduce the side effects and withstand the structural strain in the process of repetitive Li~+ intercalation/deintercalation. In this work, an e fficient method for designing the hollow LNMO microsphere with 3 D channels structure by using polyethylene oxide(PEO) as soft template agent assisted solvothermal method is proposed. Experimental results indicate that PEO can make the reagents mingle evenly and nucleate slowly in the solvothermal process, thus obtaining a homogeneous distribution of carbonate precursors. In the final LNMO products, the hollow 3 D channels structure obtained by the decomposition of PEO and carbonate precursor in the calcination can provide abundant electroactive zones and electron/ion transport paths during the charge/discharge process, which benefits to improve the cycling performance and rate capability. The LNMO prepared by adding 1 g PEO possesses the most outstanding electrochemical performance, which presented an excellent discharge capacity of 143.1 mAh g~(-1) at 0.1 C and with a capacity retention of 92.2% after 100 cycles at 1 C. The superior performance attributed to the 3 D channels structure of hollow microspheres, which provide uninterrupted conductive systems and therefore achieve the stable transfer for electron/ion.     

Porous agarose/Gd-hydroxyapatite composite bone fillers with promoted osteogenesis and antibacterial activity

Artificial bone fillers are essentially required for repairing bone defects, and developing the fillers with synergistic biocompatibility and anti-bacterial activity persists as one of the critical challenges. In this work, a new agarose/gadolinium-doped hydroxyapatite filler with three-dimensional porous structures was fabricated. For the composite filler, agarose provides three-dimensional skeleton and endows porosity, workability, and high specific surface area, hydroxyapatite (HA) offers the biocompatibility, and the rare earth element gadolinium (Gd) acts as the antibacterial agent. X-ray photoelectron spectroscopy detection showed the doping of Gd in HA lattice with the formation of Gd-HA interstitial solid solution. Attenuated total reflection Fourier transform infrared spectroscopy imaging suggested chemical interactions between agarose and Gd-HA, and the physical structure of agarose was tuned by the Gd-doped HA. Cytotoxicity testing and alizarin red staining experiments using mouse pro-osteoblasts (MC3T3-E1) revealed remarkable bioactivity and osteogenic properties of the composite fillers, and proliferation and growth rates of the cells increased in proportion to Gd content in the composites. Antibacterial testing using the gram-positive bacteria S. aureus and the gram-negative bacteria E. coli indicated promising antibacterial properties of the fillers. Meanwhile, the antibacterial properties of composite filles were enhanced with the increase of Gd content. The antibacterial fillers with porous structure and excellent physicomechanical properties show inspiring potential for bone defect repair.     

A model- and simulation-based approach for tolerancing and verifying the functional capability of micro/nano-structured workpieces

The evaluation of functional features of manufactured workpieces is based on GO- and NO-GO-test results, which are obtained by comparing measured geometric characteristics with nominal dimensions and tolerances specified by the designer. These geometrical specifications are based on a tolerancing system, which was originally defined for the function mating capability. Against the background of upcoming lots of other new functions (like reduction of flow resistance, light absorption, reduction of friction, diffraction of light, self-cleaning or mass transmission) are to be realized with our products – particularly by micro- and nano scaled features. If the verification process will deliver the prediction of the achievable degree of functionality, the usability of a part can be assessed more accurately and in consequence quality and economics can be improved. So, a new principle for tolerancing and verifying turns out to be necessary. In this paper the fundamental deficit of the actual tolerancing and specification systems GPS and ASME Y14.5 is derived and the path for enlarging the system by preposing a functional model is shown. To verify the functional capability of the workpieces an approach based on simulations done with the parameterized mathematical–physical model of the function is suggested. Advantages of this approach will be discussed and demonstrated by examples with microstructured inking rolls, crankshafts and injection valves.     

Vertical cyclic loading response of geosynthetic-encased stone column in soft clay

Dynamic responses of the geosynthetic-encased stone column (GESC) supported embankment under traffic loads have become a hot topic. This study investigates the responses of GESC improved ground under vertical cyclic loading. A series of laboratory tests in a designed model test tank have been carried out with different loading parameters (varied loading amplitudes and frequencies), different column dimensions (varied encasement lengths and column diameters). In the tests, the soil-column stress distribution, accumulated settlement of loading plate, excess pore water pressure in the surrounding soil and lateral bulging of the stone column are monitored. Experimental results indicate that the vertical stress on the stone column increases with the increment of encasement length, and decreases with the increment of column diameter, loading amplitude and loading frequency. The increasing stress on the surrounding soil leads to a greater accumulated settlement of the loading plate and excess pore water pressure, while the increasing stress on the column leads to larger lateral bulging of the column. Excess pore water pressure dissipates effectively through vertical and horizontal drainage channels provided by the stone column and the sand bed. The geosynthetic encasement prevents the clay from obstructing the drainage channel by filtration and guarantees the drainage effect.     

TCBR-HMM: An HMM-based text classifier with a CBR system

This paper presents an innovative solution to model distributed adaptive systems in biomedical environments. We present an original TCBR-HMM (Text Case Based Reasoning-Hidden Markov Model) for biomedical text classification based on document content. The main goal is to propose a more effective classifier than current methods in this environment where the model needs to be adapted to new documents in an iterative learning frame. To demonstrate its achievement, we include a set of experiments, which have been performed on OSHUMED corpus. Our classifier is compared with Naive Bayes and SVM techniques, commonly used in text classification tasks. The results suggest that the TCBR-HMM Model is indeed more suitable for document classification. The model is empirically and statistically comparable to the SVM classifier and outperforms it in terms of time efficiency.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.